Comparing cubes of typed and type assignment systems
نویسندگان
چکیده
منابع مشابه
Comparing Cubes of Typed and Type Assignment Systems
We study the cube of type assignment systems, as introduced in [13], and confront it with Barendregt’s typed λ-cube [4]. The first is obtained from the latter through applying a natural type erasing function E to derivation rules, that erases type information from terms. In particular, we address the question whether a judgement, derivable in a type assignment system, is always an erasure of a ...
متن کاملComparing Cubes of Typed and Type
We study the cube of type assignment systems, as introduced in 13], and confront it with Barendregt's typed-cube 4]. The rst is obtained from the latter through applying a natural type erasing function E to derivation rules, that erases type information from terms. In particular , we address the question whether a judgement, derivable in a type assignment system, is always an erasure of a deriv...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
Comparing Cubes
We study the cube of type assignment systems, as introduced in [10]. This cube is obtained from Barendregt’s typed -cube [1] via a natural type erasing function E, that erases type information from terms. We prove that the systems in the former cube enjoy good computational properties, like subject reduction and strong normalization. We study the relationship between the two cubes, which leads ...
متن کاملIntersection Type Assignment Systems
This paper gives an overview of intersection type assignment for the Lambda Calculus, as well as compare in detail variants that have been defined in the past. It presents the essential intersection type assignment system, that will prove to be as powerful as the wellknown BCD-system. It is essential in the following sense: it is an almost syntax directed system that satisfies all major propert...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1997
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(96)00036-x